void GhiFile(OUTPUT out);
